//
// Created by zhangjia on 2019/6/23.
//

int double_it(int a) {
    return 2 * a;
}
